$\forall$$a$:\{$\ldots\,$0\}, $b$:$\mathbb{N}^{+}$. ($a$ $\div$ $b$) = ({-}(({-}$a$) $\div$ $b$))